Specifying and Verbalising Answer Set Programs in Controlled Natural Language
نویسندگان
چکیده
منابع مشابه
Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs
We introduce a controlled natural language for biomedical queries, called BIOQUERYCNL, and present an algorithm to convert a biomedical query in this language into a program in answer set programming (ASP)—a formal framework to automate reasoning about knowledge. BIOQUERYCNL allows users to express complex queries (possibly containing nested relative clauses and cardinality constraints) over bi...
متن کاملSpecifying Logic Programs in Controlled Natural Language
Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge this conceptual gap we propose controlled natural language as a declarative and application-specific specification language. Controlled natural language is a subset of natural language that can be accurately ...
متن کاملControlled Natural Language Processing as Answer Set Programming: An Experiment
Most controlled natural languages (CNLs) are processed with the help of a pipeline architecture that relies on different software components. We investigate in this paper in an experimental way how well answer set programming (ASP) is suited as a unifying framework for parsing a CNL, deriving a formal representation for the resulting syntax trees, and for reasoning with that representation. We ...
متن کاملSpecifying Events and their Effects in Controlled Natural Language
This paper shows how a controlled natural language can be used to construct precise formal representations for reasoning about events and their effects. Specifications written in PENG Light are translated with the help of discourse representation structures into the input language of the Simplified Event Calculus. This logic-based formalism is declarative and can be used for various reasoning t...
متن کاملCommunicating Answer Set Programs
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2018
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068418000327